A logic for reasoning about ambiguity
نویسندگان
چکیده
منابع مشابه
A logic for reasoning about ambiguity
Standard models of multi-agent modal logic do not capture the fact that information is often ambiguous, and may be interpreted in different ways by different agents. We propose a framework that can model this, and consider different semantics that capture different assumptions about the agents’ beliefs regarding whether or not there is ambiguity. We examine the expressive power of logics of amb...
متن کاملA Logic for Reasoning about Persuasion
In the article, we introduce a sound and complete deductive system (AGn) which can be used to reason about persuasion process performed in distributed systems of agents in circumstances of uncertain and incomplete information. In order to express degrees of beliefs of these agents, we adopt methods of Logic of Graded Modalities. To represent degrees’ changes resulting from the persuasion, we ap...
متن کاملA Logic for Reasoning about Qualitative Probability
We offer extended completeness theorem for probabilistic logic that combines higher-order probabilities (nesting of probability operators) and the qualitative probability operator.
متن کاملA Logic for Reasoning about Upper Probabilities
We present a propositional logic to reason about the uncertainty of events, where the uncertainty is modeled by a set of probability measures assigning an interval of probability to each event. We give a sound and complete axiomatization for the logic, and show that the satisfiability problem is NP-complete, no harder than satisfiability for propositional logic.
متن کاملA multimodal logic for reasoning about complementarity
Two objects o1, o2 of an information system are said to be complementary with respect to attribute a if a(o1) = −a(o2), where a(o) is the set of values of attribute a assigned to o. They are said to be complementary with respect to a set of attributes A if they are complementary with respect to each attribute a ∈ A. A multi-modal logical language for reasoning about complementarity relations is...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2014
ISSN: 0004-3702
DOI: 10.1016/j.artint.2013.12.003